
#ifndef PROBLEM_DATA_H
#define PROBLEM_DATA_H

struct ProblemData;

#include <iostream>
#include <vector>
#include <map>
#include <set>
#include <string>
#include <fstream>
#include "Node.h"

using namespace std;

struct ProblemData
{
	ProblemData(string filename);
	int nLiterals, nClauses;
	vector<set<int> > literals;
	map<int, set<int> > clauses;
	void eraseClause(int c);
	void print();
	void checkSolution(Node sol);
};


#endif
